801. VDM' 87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, proceedings
پدیدآورنده : edited by D. Bjorner...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer software industry -- European Economic Community countries
رده :
QA
76
.
L28
Vol
.
252
802. VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings
پدیدآورنده : VDM '78, )7891, Brussels, Belgium(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Computer software - Development,Congresses ، Computer software industry - European Economic Community countries
رده :
QA
76
.
L4
v
.
252
803. VDM '90 : VDM and Z : formal methods in software development : Proceedings
پدیدآورنده : D. Bjorner, C.A.R. Hoare, H. Langmaack )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
428
804. VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings
پدیدآورنده : VDM '09 )0991: Kiel, Germany(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
V36
1990
805. VDM'88 : VDM, the way ahead : 2nd VDM-Europe Symposium, Dublin, Ireland, September, 1988 : Proceedings
پدیدآورنده : R. Bloomfield, L. Marshall, R. Jones )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer software industry -- European Economic Community countries
رده :
QA
76
.
L28
Vol
.
328
806. VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings
پدیدآورنده : VDM '88 )8891: Dublin, Ireland(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Development-- Congresses,، Computer software industry-- European Economic Community countries-- Congresses
رده :
QA
76
.
76
.
D47
.
V854
1988
807. VDM'91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991: proceedings
پدیدآورنده : S. Prehn, W.J. Toetenel )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
551-552
808. VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings
پدیدآورنده : VDM '19 )1991: Noordwijkerhout, Netherlands(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
V36
1991
809. Vdm 87:vdm,a formal method at work:vdm-europe symposium 1987,
پدیدآورنده : BJORNER,DINES
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : COMPUTER SOFTWARE-DEVELOPMENT-CONGRESSES , COMPUTER SOFTWARE INDUSTRY-EUROPEAN
رده :
QA
76
.
76
.
D47
V85
1987
810. Verification, Model Checking, and Abstract Interpretation.
پدیدآورنده : \ Barbara Jobstmann , K. Rustan M. Leino (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification.,نرمافزار -- راستیآزمایی -- کنگره ها,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- راستیآزمایی
رده :
.
V4
2016
E-Book
,
811. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : \ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها
رده :
QA
76
.
76
.
V47
2015
E-Book
,
812. Verification, model checking, and abstract interpretation :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Verification ; Congresses. ;
813. Verification, model checking, and abstract interpretation :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Verification ; Congresses. ;
814. Verified software :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Verification ; Congresses. ;
815. Verified software
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer programs ; Verification ; Congresses. ; Software. ; swd. ; Verifikation. ; swd. ; Programmtest. ; swd. ; Programmanalyse. ; swd. ; Programmverifikation. ; swd. ; Formale Methode. ; swd. ;
816. Virtual reality software & technology : proceedings of the VRST 94 Conference 23-26 August 1994, Singapore
پدیدآورنده : editors Gurminder Singh, Stevem K. Feiner, Daniel Thalmann
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Human-computer interaction - Congresses, Virtual reality - Software - Congresses
رده :
QA
76
.
9
.
H85
V57
1994
817. Web Information Systems Engineering – WISE 2015
پدیدآورنده : \ edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses.,Computer science.,Computer networks.,نرمافزار -- مهندسی -- کنگرهها ,علوم کامپیوتر,شبکههای رایانه ای
رده :
QA76
.
758
.
W41
2015
E-Book
,
818. Workshop on Information Technology for Virtual Enterprises: ITVE 2001: proceedings: January 29-30, 2001, Gold Coast, Queensland, Australia
پدیدآورنده : edited by Maria E. Orlowska, Masatoshi Yoshikawa; sponsored by Japanese Society for the Promotion of Science...]et al.[
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Computer software,Congresses ، Database management,Congresses ، System design,Congresses ، Virtual computer systems
رده :
QA
76
.
9
.
D32
W67
2001